A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...) we extend Rieter's normal default theories, which have a number of the nice properties which make them a desirable context for belief revision, to the setting of nonmonotonic rule systems. Reiter defined a default theory to be normal if all the rules of the default theory satisfied a simple syntatic condition. However, this simple syntatic condition has no obvious analogue in the setting of nonmonotonic rule systems. Nevertheless, an analysis of the proofs of the main results on normal default theories reveals that the proofs do not rely on the particular syntactic form of the rules but rather on the fact that all rules have a certain consistency property. This led us to extend the notion of normal default theories with respect to a general consistency property. This extended notion of normal default theories, which we call Forward Chaining normal , is easily lifted to nonmonotomic rule systems and hence applies to general logic programs and truth maintenance. (shrink)

The annual production of hazardous wastes which was less than 10 million metric tonnes in the 1940s is now in excess of 320 million metric tonnes. These wastes are, in the main, by-products of industrial processes that have contributed significantly to the economic development of many countries which, in turn, has led to lifestyles that also generate hazardous wastes. The phenomenal increase in the generation of hazardous wastes coupled with various barriers to local disposal has led to the thriving international (...) trade in these environmentally hazardous substances. This paper examines the nature of the international trade in hazardous wastes and the ethical issues associated with such business activity. (shrink)

The Yogārṇava is a Sanskrit compendium on yoga that has not been published, translated or even mentioned in secondary literature on yoga. Citations attributed to it occur in several premodern commentaries and compendiums on yoga, and a few published library catalogues report manuscripts of a work on yoga called the Yogārṇava. This article presents the results of the first academic study of the text. It has attempted to answer basic questions, such as the work’s provenance and textual sources. The authors (...) then discuss the importance of the Yogārṇava within the broader history of yoga based on their identification of citations and parallel verses in other Sanskrit texts and a detailed analysis of the Yogārṇava’s content. (shrink)

_The purpose_ of the article is to comprehend the Husserlian model of constituting temporal modes through the ability of intentional "retentional-protentional" consciousness, as well as to clarify the possibility of interpreting its positions in the reconstruction of the concept of anthropic time. _Theoretical basis._ The theoretical framework of the research includes: 1) the interpretation of the phenomenological reflection of "time-consciousness" by E. Husserl in the context of solving the problem of phased-differentiation of this form of temporality; 2) the concept of (...) anthropic time (V. Khanzhy). _Originality._ For the first time in research literature, the possibilities of applying the ideas of Husserl to the reconstruction of the concept of anthropic time are considered through the interpretation of the phenomenological solution to the problem of temporality, proposed and specified in Husserl’s "time-consciousness" concept. _Conclusions._ The comprehension of the Husserlian model of intentionality of consciousness through the "grasping-from-now" and the constitution of phases of phenomenological time through the component of "exiting-from-now" showed that solving the problem of phased-differentiation of phenomenological time leads to the observation of the impossibility of isolating the modes of past, present, and future as self-sufficient and unconditional. More accurate indications, based on the constitutive intentionality of consciousness on the "grasping-from-now" phases of time (as conventional), are as follows: a) the abilities of retention and recollection are the foundation for the constitution of the past and its connections to the present; b) the perception establishes the basis for the phase of the present itself; c) the possibilities of protention and anticipation (as forms of imagination) constitute the future and its connections to the present. By the concept of retention, Husserl fixes a certain primary memory (the present "now" of a past interval), which enables retaining the past in the present. The category of recollection or secondary memory is used by the philosopher to refer to the self-sufficient reproduction of past experiences (without being joined to present perception). The fundamental difference between recollection and retention is that the former _re-_presents a temporal interval, grasping its content and reproducing it as it was in the past, while in the latter, the perceived duration is presented as a fragment of time that has just passed. According to the German philosopher, the "grasping" of the present phase is performed by perception. Through the constitutive intentionality of consciousness, perception synthesizes the results of primary-actual activity and retentional holding of duration. The second part of the article will present solutions to the following research tasks: 1) analysis of the possibilities of protention and anticipation in constituting the future and its connections with the present; 2) understanding the possibility of using interpreted forms of Husser’s ideas in reconstructing the concept of anthropic time. (shrink)

The article is devoted to dynamic processes in the field of artificial intelligence, namely in the tasks of neurodynamics. The problems of stability of transient processes in neural networks, which dynamics can be described by systems of weakly nonlinear difference equations, are considered. Conditions are formulated in terms of the direct Lyapunov method.

Purpose. To determine the potential of deforming broaching for the improvement of efficiency of cutter chisels in the mining industry. Methodology. The study of the application of the technological process of deforming broaching was carried out based on the experimental research into conditions of assembly of press couplings corresponding to cutting rock-destroying tools, the working surface of which is reinforced with solid-alloy inserts. Findings. Based on the conducted research, a new process of assembling the crowns of cutter chisels with the (...) use of deforming broaching was developed. Originality. It was determined that the range of angles of inclination of generatrix of the working cone of the deforming element and the roll-treading lip of the insert, which are necessary for efficient machining and pressing in crowns of cutters, is 4–16°. It was proven that the “solid alloy-steel” press couplings for cutter chisels will have the maximum bearing capacity at total tension a/d0 ≤ 3 %. It was found that it is necessary to foresee the following distribution of tensions: to perform 2 % of deformation by preliminary deforming broaching, and 1 % ‒ by pressing in an insert Practical value. The use of deforming broaching makes it possible to increase the strength of fastening the inserts of cutter chisels by 2 times, to reduce specific consumption of the tool by 4.4 times, and to increase the average drilling rate by 4 times. (shrink)

Introduction Currently, The nature and scope of Clinical Ethics Protocols in Madrid are not well understood.Objectives The main objective is to describe the features of ‘guideline/recommendation’ type CEPs that have been or are being developed by existing Clinical Ethics Committees in Madrid. Secondary objectives include characterisation of those CECs that have been the most prolific in reference to CEP creation and implementation and identification of any trends in future CEP development.Methods We collected CEPs produced and in process by CECs accredited (...) in the public hospitals in Madrid, Spain, from 1996 to 2008.Results CECs developed 30 CEPs, with 10 more in process. The most common topic is refusal of treatment . If CEPs addressing terminal illness, Do-Not-Resuscitate orders and advance directives are placed into a separate ‘ethical problems at the end of life’ category, this CEP subject emerges as the most common . There is a relationship between the age of the CEC and the development of CEPs . CECs now seem to be more likely to engage in CEP development.Conclusions The CECs in Madrid, Spain, have developed a significant number of CEPs and there is a trend towards continued development. The most frequent topics are ethical problems at the end of life and refusal of treatment by the patient. (shrink)

Correct interpretation of the data from integral laboratory tests, including Thrombin Generation Test, requires biochemistry-based mathematical models of blood coagulation. The purpose of this study is to describe the experimental TGT data from healthy donors and hemophilia A and B patients. We derive a simplified ODE model and apply it to analyze the TGT data from healthy donors and HA/HB patients with in vitro added tissue factor pathway inhibitor antibody. This model allows the characterization of hemophilia patients in the space (...) of three most important model parameters. The proposed approach may provide a new quantitative tool for the analysis of experimental TGT. Also, it gives a reduced model of coagulation verified against clinical data to be used in future theoretical large-scale modeling of thrombosis in flow. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)